\asegura{res == cantres(h,f) > capacidadh (h)}


\aux{capacidadh}{h:Hotel}{\ent}{\sum[cantidadHuespedes(tipo(x)) | x \selec habitaciones(h)]}

\aux{cantres}{h:Hotel,f:Fecha}{\ent}{\sum[cantidadHuespedes(tipo(x)) | x \selec reservas(h), fechaDesde(x) \leq f \leq fechaHasta(x)]}
